Verified Larray